textview: Ensure the borders fit into the allocation

https://bugzilla.gnome.org/show_bug.cgi?id=763216

diff --git a/gtk/gtktextview.c b/gtk/gtktextview.c
index 50086ecfd55e08e0267ec14076ed124ef0a2619a..346f89488c4b7fa7140f7981740ac8df27ae2244 100644 (file)
--- a/gtk/gtktextview.c
+++ b/gtk/gtktextview.c
@@ -4003,7 +4003,10 @@ gtk_text_view_size_request (GtkWidget      *widget,
   border_width = gtk_container_get_border_width (GTK_CONTAINER (text_view));
   requisition->width += border_width * 2;
   requisition->height += border_width * 2;
-  
+
+  requisition->height += priv->top_border + priv->bottom_border;
+  requisition->width += priv->left_border + priv->right_border;
+
   tmp_list = priv->children;
   while (tmp_list != NULL)
     {